🔄 Finite State Machines - matmat

Discussed on Hacker News

🔐Hash Functions GitHub·

miroaleksej/CoreAI_HTCE: HTCE-Origin: A Q256 integer-only toroidal cognitive runtime. Features hierarchical L1/L2/L3 states, evidence-gated memory, and a protected trace. Prevents hallucinations and catastrophic forgetting via topological guards. Zero floats in the decision path.

Discussed on Hacker News

🌐Protocol Synthesis github.blog·

GitHub Copilot CLI for Beginners: Overview of common slash commands

Covers GitHub Copilot CLI

Less-relevant results

⚡Compression Hardware lil.law.harvard.edu·

An Open Hardware TPU on Your Desk

⚡SMT Applications arxiv.org·

ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking

💾Binary codes arxiv.org·

UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)

📋Formal Verification arxiv.org·

The Complexity of Bisimilarity and Model Checking in Finitary Diagrams

🌐NetworkProtocols arxiv.org·

A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems

💻CS arxiv.org·

Decentralized Decision-Making for Finite-State Systems over Finite Alphabets is Undecidable

🔬Logic in Computer Science arxiv.org·

Trust by design -- in praise of modularization: a case study

🌐Protocol Synthesis arxiv.org·

A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics

📋Formal Verification arxiv.org·

Monadic dependence from reducts, and applications to twin-width of oriented graphs

⏰Temporal Logic arxiv.org·

Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction

🌐NetworkProtocols arxiv.org·

A Predicate-Based Model for Computation over State Spaces

💻Programming languages arxiv.org·

As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

⏰Temporal Logic arxiv.org·

Contract-Based Compositional Shielding for Safe Multi-Agent Reinforcement Learning

💻Programming languages arxiv.org·

Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking

📋Formal Verification arxiv.org·

On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them

⏰Temporal Logic arxiv.org·

Verifying LTL for Infinite State Systems via Termination Analysis

Show HN: StaleTrace – A temporal ledger that catches stale-state agent bugs

miroaleksej/CoreAI_HTCE: HTCE-Origin: A Q256 integer-only toroidal cognitive runtime. Features hierarchical L1/L2/L3 states, evidence-gated memory, and a protected trace. Prevents hallucinations and catastrophic forgetting via topological guards. Zero floats in the decision path.

GitHub Copilot CLI for Beginners: Overview of common slash commands

An Open Hardware TPU on Your Desk

ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking

UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)

The Complexity of Bisimilarity and Model Checking in Finitary Diagrams

A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems

Decentralized Decision-Making for Finite-State Systems over Finite Alphabets is Undecidable

Trust by design -- in praise of modularization: a case study

A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics

Monadic dependence from reducts, and applications to twin-width of oriented graphs

Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction

A Predicate-Based Model for Computation over State Spaces

As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

Contract-Based Compositional Shielding for Safe Multi-Agent Reinforcement Learning

Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking

On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them

A Modular Dual-Arm Apple Harvesting Robot with Enhanced Field Performance